Financiado por European Research Council Executive Agency
Participado por Institut National de Recherche en Informatique et Automatique INRIA, Centre National de la Recherche Scientifique CNRS, Université Paris Cite
Los asistentes de demostración automática han ido ganado popularidad entre investigadores y científicos en los últimos años gracias a su capacidad de formalizar eficientemente grandes textos matemáticos y han sido usados para certificar varios resultados importantes como el reto del tensor líquido de Scholze o la conjetura de Kepler. Sin embargo, los asistentes de demostración actuales están limitados a contextos formales y no pueden procesar el lenguaje flexible y semi-formal que los matemáticos utilizan normalmente. El proyecto MALINCA, financiado por ERC (ERC-2024-SyG - ERC Synergy Grant 101167526) tiene como objetivo desarrollar un nuevo tipo de tecnología de asistentes de demostración automática que preserve la precisión de los lenguajes formales y del significado matemático, pero que pueda incorporar una mayor versatilidad, diseñándolo para comprender y representar las estructuras lingüísticas dinámicas que los matemáticos usan en la práctica.
Resumen divulgativo: El objetivo del ERC MALINCA es crear una nueva tecnología de asistentes de demostración capaz de comprender y representar las estructuras lingüísticas dinámicas de las matemáticas, preservando la precisión de los lenguajes formales y del significado matemático mientras incorpora mayor versatilidad.
MALINCA
